Quotients by groupoids

The main result of this note is the following: (all relevant terms will be defined shortly. The spaces are algebraic spaces of finite type over a locally Noetherian base, unless otherwise mentioned.)